<html>
<body>
Splits a <b>switch</b> branch that has more than one <b>case</b> value into individual <b>switch</b> branches,
one per <b>case</b> value.
</body>
</html>
